1. A beginner's guide to Scala, object orientation and functional programming /
Author: John Hunt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language),Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers)
Classification :
QA76
.
7
2. A beginner's guide to scala, object orientation and functional programming.
Author: / John Hunt.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: برنامهنویسی شیگرا,Object - oriented programming (Computer science),Functional programming (Computer science),a04,a04,Scala.,Object - oriented programming.,Functional programming.
3. A tight, practical integration of relations and functions
Author: Harold Boley
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Functional programming )Computer science(,، Relational databases
Classification :
QA
76
.
L28
Vol
.
1712
4. Actors in Scala
Author: Philipp Haller, Frank Sommers
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Multiparadigm programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language)
Classification :
QA76
.
73
.
S28
H35
2011
5. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
6. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing., Poernomo, Iman Hafiz, 1976-
Library: Library of College of Science University of Tehran (Tehran)
Subject: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
9
.
54
.
P64
2005
7. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
8. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
9. Advanced functional programmin
Author: / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Functional programming (Computer science)--Congresses
Classification :
QA
,
76
.
62
,.
A37
,
2009
10. Advanced functional programming
Author: / Johan Jeuring, Simon Peyton Jones (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Functional programming (Computer science)--Congresses
Classification :
QA
,
76
.
62
,.
A395
,
2002
11. Advanced functional programming
Author: / Varmo Vene, Tarmo Uustalu (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Functional programming (Computer science)--Congresses
Classification :
QA
,
76
.
62
,.
A396
,
2004
12. Advanced functional programming
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ;
13. Advanced functional programming
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ; Funktionale Programmierung. ; swd. ;
14. Advanced functional programming :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses ;
15. Advanced functional programming :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses ;
16. Advanced functional programming
Author: / S. Doaitse Swierstra, Pedro R. Henriques, Jos?� N. Oliveira, (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Functional programming (Computer science)--Congresses
Classification :
QA
,
76
.
62
,.
A39
,
1998
17. Advanced functional programming : Second International School Olympia, Wa, USA, August 26-30, 1996: Tutorial Text
Author: John Launchbury, Erik Meijer, Tim Sheard )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
1129
18. Advanced functional programming : Third International School, AFP'98, Braga, Portugal, September 12-19, 1998 : revised lectures
Author: S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
1608
19. Advanced functional programming: Third International School, AFP '98, Braga, Portugal, September 12-19, 1998: revised lectures
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
62
.
A39
1998
20. Advanced functional programming :5 th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures
Author: Varmo Vene, Tarmo Uustalu )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3622
